.*Assembler messages:
.*Error: .*rv32e does not support the `h' extension
